$\forall$$T$:Type, $x$:$T$. ($x$ $\in$ []) $\Leftarrow\!\Rightarrow$ False